Yearly international conference on computer safety, reliability and security, held in September. Includes proceedings of past conferences, conference journals, links, schedule, venue information, call for papers, and contact information.
University of Edinburgh - Auto-parallelising compilers, optimising for locality, compiling for distributed shared memory, adaptive compilation for VLIW processors, linear program transformation theory and practice, parallelisation of commercial langua...
University of Edinburgh - Probabilistic computation, the complexity of combinatorial enumeration, information- and complexity-theoretic aspects of machine learning, and combinatorial optimisation.